Implicit invocation meets safe, implicit concurrency
نویسندگان
چکیده
منابع مشابه
Categorization of Implicit Invocation Systems
Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which...
متن کاملAspect Reasoning by Reduction to Implicit Invocation
Aspect-oriented programming constructs complicate reasoning about program behavior. Our position is that we can reduce key elements of aspect programming to implicit invocation (II) and then use existing work on reasoning about II to reason formally about aspect programs. We map aspect-oriented programs to equivalent programs with join points and advice replaced by event notifications and obser...
متن کاملAdding Implicit Invocation to Languages: Three Approaches
Implicit invocation based on event announcement is an increasingly important technique for integrating systems. However, the use of this technique has largely been con ned to tool integration systems|in which tools exist as independent processes|and special-purpose languages|in which specialized forms of event broadcast are designed into the language from the start. This paper broadens the clas...
متن کاملTowards a Formal Treatment of Implicit Invocation
Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...
متن کاملFormalizing Design Spaces: Implicit Invocation Mechanisms
ly, a~l implicit invocation mechanism can be modelled as a collection of components, each of which has an interface that specifies a set of methods and a set of events. As is traditionally the case, the methods define operations that other components can explicitly invoke. The events, however, define actions that the component promises to announce to other components in the system. The implicit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1942788.1868304